Issue1413WrongHiding.agda:12,1-14
Wrong hiding used for projection  Foo.foo
when checking the clause left hand side
Foo.foo {bar}
